Formalising UML Activity Diagrams using Finite State Processes
نویسنده
چکیده
Among the set of diagrams of UML used to express dynamic aspects of systems, the Activity Diagram (AD) is the only one that deals with Business Processes (BP) and workflows. However, the lack of a well-defined semantics leaves the notation open to many interpretations. In this paper we provide a simple semantics by formalising the UML Activity Diagram using finite state processes (FSP). A given UML AD specification can be analysed by checking its equivalent FSP description using the LTSA model-checker. In addition, LTSA can animate the workflow behaviour from the BP models expressed in UML AD.
منابع مشابه
A Formal Semantics for UML Activity Diagrams ~ Formalising Workflow Models
In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with dat...
متن کاملUnifying the Semantics of UML 2 State, Activity and Interaction Diagrams
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We ...
متن کاملApproaches for Test Case Generation from UML Diagrams
Model based testing (MBT) is an important approach with many advantages that can reduce the cost and increase the effectiveness and quality of a testing procedure. In MBT, test cases can be derived from different models, also from the popularly used UML diagrams. Different UML diagrams include various important pieces of information that can be successfully used in a testing procedure. A lot of...
متن کاملUML Analysis Using State Diagrams
This article demonstrates a new approach to analyzing UML designs using state and sequence diagrams. From multiple state diagrams, a super-state diagram which includes the cross-product of the selected states is built along with a transition matrix of possible transitions. The closure of the transition matrix is used to identify unreachable states and impossible transitions. Additionally, the c...
متن کاملReview of MagicDraw UML® 11.5 Professional Edition
UML design tools are intended to make OO analysis and design easier. All too often, though, the tools present obstacles to getting the work done, tempting a user to return to the casual flexibility of a whiteboard. During three months of frequent use, MagicDraw UML has proven to be an exception. It is a tool that cooperates in modeling without imposing unnecessary constraints. In using MagicDra...
متن کامل